prove a function is surjective